$\forall$$T$:Type, $x$, $y$:Top List. null($x$) $\Rightarrow$ null($y$) $\Rightarrow$ $x$ $=$ $y$ $\in$ $T$ List